Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
71	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation
72	ACM SIGSOFT SOFTWARE ENGINEERING NOTES vol 11 no 5 Oct 1988 Page 83 NRL Invitational Workshop Two Approaches Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 19:00:12 Formal verification Logic in computer science Theoretical computer science State space Mathematical analysis Classical cipher Heat equation Applied mathematics Control theory Mathematics
73	Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center. Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:52:45 ALGOL 68 Parallel computing Schedule Programming language theory Computing Software engineering
74	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
75	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics
76	An Overview of the Leon Verification System Verification by Translation to Recursive Functions Régis Blanc Viktor Kuncak Etienne Kneuss Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-06-11 12:02:50 Data types Higher-order functions Type theory Recursion Source code Algebraic data type Satisfiability Modulo Theories Map ALGOL 68 Software engineering Computer programming Computing
77	Broad Based Black Economic Empowerment Verification Certificate Issued to Intervate Solutions (Pty) Ltd Level 4 Contributor Add to Reading List Source URL: www.t-systems.co.za Language: English - Date: 2014-06-06 05:48:25 Black Economic Empowerment Verification Public key certificate Systems science Systems theory Technology Qualifying Small Enterprises T-Systems Economy of South Africa Systems engineering Broad-Based Black Economic Empowerment
78	Keeping a Crowd Safe: On the Complexity of Parameterized Verification Monday, March 2nd, :00am Auditorium 106 at New IIS Building Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2015-01-08 03:33:45 Complex systems theory Complexity Holism Systems Transdisciplinarity Computer science Communications protocol Science Data Information Abstraction
79	Research internship (Master M2) Title Verification of concurrent systems with data structures Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-11-20 05:22:25 Verification Finite-state machine Models of computation Automata theory Systems engineering
80	Master internship Petri net unfolding of biological networks Topic: Logic and Verification, Computational Biology Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Lau Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:14:14 Diagrams Petri net Gene regulatory network Model checking Petri Attractor Actor model Chaos theory Computer science Concurrency Networks Systems biology

UPDATE